sequentially complete space

序列完备空间